mini-os: drop shutdown variables when CONFIG_XENBUS=n
authorSamuel Thibault <samuel.thibault@ens-lyon.org>
Thu, 6 Dec 2012 09:22:31 +0000 (09:22 +0000)
committerSamuel Thibault <samuel.thibault@ens-lyon.org>
Thu, 6 Dec 2012 09:22:31 +0000 (09:22 +0000)
commit62c21392fc20e5ddd23e5c4bb699f1f613d918a0
tree57dd21ee8bf8454886e66d39152e9a7391b4414c
parentf50091147c4daba748736774cbcf9a483aeccdfc
mini-os: drop shutdown variables when CONFIG_XENBUS=n

Shutdown variables are meaningless when CONFIG_XENBUS=n since no
shutdown event will ever happen.  Better make sure that no code tries
to use it and never get the hoped shutdown event.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Keir Fraser <keir@xen.org>
extras/mini-os/kernel.c